TAGs: factorization example